Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
003078 | P. De Saqui-Sannes [France] ; T. Villemur [France] ; B. Fontan [France] ; S. Mota [Mexique] ; M. S. Bouassida [France] ; N. Chridi [France] ; I. Chrisment [France] ; L. Vigneron [France] | Formal verification of secure group communication protocols modelled in UML |
This area was generated with Dilib version V0.6.33. |